- description of formulae
- описание формул
Англо-русский юридический словарь. Академик.ру. 2011.
description of formulae
Смотреть что такое "description of formulae" в других словарях:
Darcy friction factor formulae — In fluid dynamics, the Darcy friction factor formulae are equations based on experimental data and theory for the Darcy friction factor. The Darcy friction factor is a dimensionless quantity used in the Darcy–Weisbach equation, for the… … Wikipedia
Situation calculus — The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy in 1963. The main version of the situational calculus that is presented in this article is based … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Frame problem — In artificial intelligence, the frame problem was initially formulated as the problem of expressing a dynamical domain in logic without explicitly specifying which conditions are not affected by an action. John McCarthy and Patrick J. Hayes… … Wikipedia
Canonical transformation — In Hamiltonian mechanics, a canonical transformation is a change of canonical coordinates (mathbf{q}, mathbf{p}, t) ightarrow (mathbf{Q}, mathbf{P}, t) that preserves the form of Hamilton s equations, although it might not preserve the… … Wikipedia
Newton–Cotes formulas — In numerical analysis, the Newton–Cotes formulae, also called the Newton–Cotes quadrature rules or simply Newton–Cotes rules, are a group of formulae for numerical integration (also called quadrature) based on evaluating the integrand at equally… … Wikipedia
Gnosticism — • History of Gnosticism from its pre Christian roots through its developed doctrines concerning cosmogony, the Sophia myth, soteriology, and eschatology. Includes information on rites, schools, and literature Catholic Encyclopedia. Kevin Knight.… … Catholic encyclopedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Yale shooting problem — The Yale shooting problem is a conundrum or scenario in formal situational logic on which early logical solutions to the frame problem fail. The name of this problem derives from its inventors, Steve Hanks and Drew McDermott, working at Yale… … Wikipedia
